//package data.crawling;
//
//public class TBoxBuilder extends Builder{
//
//	//concepts
//
//	public final static String Sensor = "Sensor";
//	public final static String SensorType ="SensorType";
//	public final static String Typeccd = "CCD_Sensor";
//	public final static String Typeaps = "Active_Pixel_Sensor";
//	public final static String Typeapscmos = "CMOS";
//	public final static String Typeapsother = "JFET_LBCAST";
////	public final static String SensorSize = "SensorSize";
////	public final static String Sizefull = "Full_Frame";
////	public final static String SizeThirds = "Four_Thirds_3/4";
////	public final static String SizeAPSC = "APS_C";
////	public final static String Sizeother = "Other";
//	
//	public final static String IS = "Image_Stabilization";
//	public final static String ISop = "Optical_"+IS;
//	public final static String ISsensor = "Sensor_Shift_"+IS;
//	public final static String UNKNOWNIS = "Unknown_IS_Mechanism";
//	
//	//roles
//	
//	public final static String hasSensor = "hasSensor";
//	public final static String hasSensorType = "hasSensorType";
//	public final static String hasSensorSize = "hasSensorSize";
//	public final static String hasIS = "hasImageStablization";
//
//	
//	
//	public String buildTBox(){
//		String pt = "";
//		//camera types
//		pt+= "\n(implies "+DLSR+" "+CAM+")\n(implies "+DC+" "+CAM+")\n(implies "+Hybrid+" "+CAM+")";
//		pt+= "\n(implies "+CAM+" (forall (role "+hasMan+") "+Seller+") )";
//		//sensors and types
//		pt+= "\n(implies "+Sensor+" (and (forall (role "+hasMan+") "+Seller+")  (forall (role "+hasSensorType
//		+") "+SensorType+")) )";
//		pt+= "\n(implies "+Typeapsother+" "+Typeaps+")";
//		pt+= "\n(implies "+Typeapscmos+" "+Typeaps+")";
//		pt+= "\n(implies "+Typeccd+" "+SensorType+")";
//		pt+= "\n(implies "+Typeaps+" "+SensorType+")";
//		//sellers
//		pt+= "\n(implies "+Reseller+" "+Seller+")";
//		pt+= "\n(implies "+Manufacturer+" "+Seller+")";
//		pt+= "\n(implies "+Seller+" (forall (role "+hasLoc+") "+Location+"))";
//		//IS
//		pt+= "\n(implies "+ISop+" "+IS+")";
//		pt+= "\n(implies "+ISsensor+" "+IS+")";
//		//vendorprice
//		pt+= "\n(implies "+ResellerPrice+"(forall (role "+VENDORROLE+") "+Seller+"))";
////		this.writeStringToFile(pt, true);
//		return pt;
//	}
//	
//}
